Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيدThis text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise ...
اقرأ المزيدThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيدThis book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
اقرأ المزيدThis book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
اقرأ المزيدThis book Covering all current aspects of computer and network security, the papers are organized in topical sections on ...
اقرأ المزيدPresents a selection of the articles from the Forum on Specification and Design Languages (FDL'04). The Analog and Mixed-Signal ...
اقرأ المزيدThe explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...
اقرأ المزيدThis book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...
اقرأ المزيدSoftware architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...
اقرأ المزيدSoftware architectures that contain many dynamically interacting components, each with their own thread of control, and engaging ...
اقرأ المزيدThis volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software ...
اقرأ المزيدAddressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
اقرأ المزيدAddressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
اقرأ المزيدIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
اقرأ المزيدIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
اقرأ المزيدThis is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
اقرأ المزيد